#ifndef RTW_HEADER_mul_usu32_sat_h_
#define RTW_HEADER_mul_usu32_sat_h_
#include "rtwtypes.h"

extern uint32_T mul_usu32_sat(int32_T a, uint32_T b);

#endif

